Do not update paned position if it's already at the given value
authorChristian Dywan <christian@twotoasts.de>
Fri, 29 Jan 2010 15:43:15 +0000 (16:43 +0100)
committerChristian Dywan <christian@twotoasts.de>
Fri, 29 Jan 2010 15:43:15 +0000 (16:43 +0100)
commita23f581c5d6f9256303df5cb639ebf6c935a886b
treef8215aefed898280e2cd2ec781d1c05f791e9587
parentda86b0bd3f3c4bf3ec98812885ca2639364f95ed
Do not update paned position if it's already at the given value

Fixes: https://bugzilla.gnome.org/show_bug.cgi?id=561816
gtk/gtkpaned.c